多无人机协同探测快速目标的控制方法设计

针对无人机(unmannd aerial vehicle, UAV)对快速运动目标的协同探测问题, 设计了一种多UAV协同探测控制算法。首先假设每架UAV都携带相同的探测载荷, 根据载荷特性设计了针对快速运动目标的UAV协同探测队形。然后引入固定时间控制一致性协议到UAV载荷角度控制中, 控制载荷持续照射目标; 引入有限时间一致性协议到UAV编队控制中, 用以形成协同探测队形, 并通过二跳网络加快队形的收敛。通过将UAV队形控制与UAV载荷的角度控制相结合, 从而实现UAV对快速运动目标探测时间的最大化, 极大的延长了高速运动目标被发现的时间。最终通过理论分析和仿真实验证明了该控制算法的有效性。     

基于生物信息的未知二进制协议聚类方法

协议聚类是协议逆向工程技术中非常重要的一步，针对二进制协议更加透明且满足的协议种类更加广泛的特点，提出了一种基于基因和蛋白质生物信息的二进制协议聚类方法，能够从原始序列角度对大量协议直接进行聚类.本文方法首先将原始二进制报文转化成四进制基因形式，使用快速聚类方法计算碱基两两组合的k-seed值生成距离矩阵，并用UPGMA计算最小距离生成树得到初始分簇；其次，将每一簇四进制协议报文转化成十六进制蛋白质链，得到序列更有语义的方式并采用基于改进mBed算法的聚类方法将其进行高精度聚类.通过对已知和未知协议单纯和混合场景下的测试表明，该方法能够对二进制协议实现高效并且高准确率的聚类，具有较高的应用价值.     

基于Libmodbus的走航式海表温度传感器总线协议设计

针对船用海水表层水温观测以人工观测为主的现状，基于跨平台的Modbus库Libmodbus的走航式海洋表层水温监测系统，通过在船舶一侧布放处于船舶吃水线范围的水温传感器来采集表层水温信息。采用RS485/Modbus协议实现多站多点联网，构成分布式系统，进行海水表层温度的自动采集。上位机基于Modbus-RTU协议，并添加循环冗余校验以保证其对水温传感器的远程控制和表层水温信息采集功能的可靠性、安全性。该系统不仅运行稳定，操作简单方便，还具有可移植性和可扩展性。实验结果表明，该系统可以稳定可靠地监测海洋表层水温，实现表层水温的随船在线测量。     

Elucidating the diel and seasonal calling behaviour of Elachistocleis matogrosso (Anura: Microhylidae)

ABSTRACT

Acoustic monitoring provides the opportunity to study ecological processes that are difficult to assess with traditional surveys. Elachistocleis matogrosso is an anuran species, described in 2010, for which limited biological information is available. This study investigated the calling activity of the species in the north-eastern portion of the Pantanal, Brazil, a wetland area with marked seasonality between the dry and wet seasons. The calling activity of E. matogrosso was monitored using automated digital recorders in combination with automated signal recognition software over two different annual cycles. The species was vocally active only during the wet season (October – April), with a peak in November-December during the 2013–2014 annual cycle and in February-March during the 2015–2016 annual cycle. The peak calling activity occurred at dusk. This species has nocturnal habits and an explosive breeding activity. The detection of the species was intermittent, which suggests that environmental predictors or site-specific conditions might play an important role in species detection. Moreover, this intermittent occupancy indicated that surveys that employ traditional field techniques would likely fail to detect this species. We describe an effective protocol for detecting E. matogrosso with acoustic monitoring, which requires recording during 20 days in February from 17:01 to 05:00. Our procedure would be easy to adapt to other anuran species, and it could be used for investigating new localities and assessing population changes over time.     

基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

单片机总线技术结合Modbus-RTU协议的智能仪表通讯

为了克服传统仪表通讯技术传输距离短、实时性差、容错率低等缺点,提出一种基于MSP430F149单片机和Modbus-RTU协议的智能仪表通讯解决方案。阐述了Modbus-RTU协议的基本规范,对通信数据的接收、解析、校验、打包、发送等原理进行详细地分析,并对其硬件和软件的实现方法进行了详细介绍。通过协议测试软件Mod Scan32验证了该设计方案的可行性和稳定性。实践证明,采用MSP430系列单片机开发的现场总线技术以其低功耗、可靠、经济实用的特点在智能仪表系统中有着良好的应用前景。     

基于Ethernet IP协议的交流电参数检测仪表设计

针对电参数检测问题,设计一种新型电参数检测仪表,以ARM微处理器STM32F103为控制核心,利用电能计量专用芯片ADE7758作为电参数采集,并采用HMS公司的Anybus-Compact Com模块实现Ethernet IP工业以太网协议的仪表设计。设计结果表明,该仪表性能稳定、测量准确,具有良好的应用价值。     

基于能量和距离的无线传感器网络路由协议

无线传感器网络(Wireless Sensor Networks,WSNs)是一种新兴的传感器网络。Leach(Low energy adaptive clustering hierarchy)协议是WSNs中最流行的簇类协议之一,它通过概率模型选择簇头,并且周期性地改变簇头来实现最大化的网络覆盖率和网络寿命。本文通过网络中节点的能量和所处的地理位置信息,对Leach协议中节点成为簇头的概率公式进行修正,从而改进协议的簇头选择算法,平衡网络的能耗,达到延长无线传感器网络寿命的目的。基于NS2(Network Simulator Version 2)平台的实验结果证明,改进的Leach算法可以延长WSNs的寿命。     

I{2}和M{2}的有效刻画(英文)

Stewart给出了一个矩阵2-逆集合M{2}的刻画公式.但其中含有多余的任意参数,因而不是一个有效刻画.本文利用方阵的满秩分解,为I{2}_s的一个真子集B_1剔除了Stewart公式中的多余任意参数,得到了B_1的有效刻画公式;还证明了I{2}是其有限个子集的并集,其中每个子集与B_1等距同构.由此可分别建立I{2},I{2},M{2}和M{2}的有效刻画公式.算法2.1则可用于无重复地计算I{2}_s的每个元素.     

ADSP-TS101高速全双工Link收发器FPGA设计

提出并实现了一种基于ADI Tiger SHARC101 Link协议的高速通信收发器TPGA设计方案,能同时在接口时钟的上升沿和下降沿收发数据,进而实现FPGA与DSP、以及FPGA片间的无缝连接.经ISE综合与布局布线验证,整个系统仅占用452个Slice,最高工作频率超过300 MHz,数据传输率可达4.8 Gb/s.